Loop invariant

Synonyms for "loop invariant" (4 found)

Ranked by relevance and common usage.

Noun(1 words)

invariant property

Noun(1 words)

program invariant

Noun(2 words)

spanish invarianteverification invariant

OpenGloss and ConceptNet supply richer edges like generalizations, collocations, and derivations.

5 relation types

3 entries

4 entries

dynamic invariantinitialization invariantmaintenance invariantstatic invariant

4 entries

initialization invariantinvariant propertymaintenance invariantprogram invariant

1 entries

loop invariants

1 entries